منابع مشابه
Grids: A Domain for Analyzing the Distribution of Numerical Values
This paper explores the abstract domain of grids, a domain that is able to represent sets of equally spaced points and hyperplanes over an n-dimensional vector space. Such a domain is useful for the static analysis of the patterns of distribution of the values program variables can take. We present the domain, its representation and the basic operations on grids necessary to define the abstract...
متن کاملObtaining accurate p values from a dense SNP linkage scan.
A major concern of resequencing studies is that the pathogenicity of most mutations is difficult to predict. To address this concern, linkage (i.e. co-segregation) analysis is often used to exclude neutral mutations and to better predict pathogenicity among the candidate mutations that remain. However, when linkage disequilibrium (LD) is present in the population but ignored in the analysis, un...
متن کاملOn strongly dense submodules
The submodules with the property of the title ( a submodule $N$ of an $R$-module $M$ is called strongly dense in $M$, denoted by $Nleq_{sd}M$, if for any index set $I$, $prod _{I}Nleq_{d}prod _{I}M$) are introduced and fully investigated. It is shown that for each submodule $N$ of $M$ there exists the smallest subset $D'subseteq M$ such that $N+D'$ is a strongly dense submodule of $M$ and $D'bi...
متن کاملPo-S-Dense Monomorphism
In this paper we take $mathcal A$ to be the category {bf Pos-S} of $S$-posets, for a posemigroup $S$, ${mathcal M}_{pd}$ to be the class of partially ordered sequantially-dense monomorphisms and study the categorical properties, such as limits and colimits, of this class. These properties are usually needed to study the homological notions, such as injectivity, of $S$-...
متن کاملSemi-Dense Stereo Correspondence with Dense Features
We present a new feature based algorithm for stereo correspondence. Most of the previous feature based methods match sparse features like edge pixels, producing only sparse disparity maps. Our algorithm detects and matches dense features between the left and right images of a stereo pair, producing a semi-dense disparity map. Our dense feature is defined with respect to both images of a stereo ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Commentarii Mathematici Helvetici
سال: 2013
ISSN: 0010-2571
DOI: 10.4171/cmh/293